-
1 algebraic predicate
Большой англо-русский и русско-английский словарь > algebraic predicate
-
2 algebraic predicate
Математика: алгебраический предикат -
3 algebraic predicate
English-Russian electronics dictionary > algebraic predicate
-
4 algebraic predicate
The New English-Russian Dictionary of Radio-electronics > algebraic predicate
-
5 algebraic predicate
-
6 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
7 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
8 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
9 алгебраический предикат
Русско-английский словарь по электронике > алгебраический предикат
-
10 алгебраический предикат
Русско-английский словарь по радиоэлектронике > алгебраический предикат
-
11 алгебраический предикат
algebraic predicate мат.Русско-английский научно-технический словарь Масловского > алгебраический предикат
-
12 алгебраический предикат
Большой англо-русский и русско-английский словарь > алгебраический предикат
-
13 алгебраический предикат
Mathematics: algebraic predicateУниверсальный русско-английский словарь > алгебраический предикат
-
14 calculus
-
15 logic
-
16 complement
1) дополнение || дополнять2) вчт поразрядное дополнение•- complement of event
- complement of graph
- complement of predicate
- algebraic complement
- analytical complement
- Boolean complement
- cable complement
- combinatorial complement
- connected complement
- countable complement
- diminished complement
- disjunctive complement
- invariant complement
- nine's complement
- noughts complement
- one's complement
- orthogonal complement
- radix complement
- radix-minus-one complement
- relative complement
- set complement
- ten's complement
- topological complement
- true complement
- tube complement
- two's complement
- zero complement -
17 expression
1) выражение2) представление (напр. в виде символов)3) выразительность звука; экспрессивность исполнения (напр. мелодии)4) вчт контроллер "выразительность звука", MIDI-контроллер №11•- algebraic expression
- ambiguous expression
- analytical expression
- approximate expression
- arithmetic expression
- asymptotic expression
- atomic expression
- Boolean expression
- bracketed expression
- canonical expression
- conditional expression
- constant expression
- convergent expression
- defining expression
- designational expression
- deterministic expression
- divergent expression
- emitted expression
- exact expression
- explicit expression
- exponential expression
- formal expression
- functional expression
- fuzzy expression
- graphic expression
- implicit expression
- integer expression
- integral expression
- invariant expression
- irrational expression
- literal expression
- logical expression
- mathematical expression
- matrix expression
- MIDI expression
- nested expression
- numerical expression
- operator expression
- parenthesized expression
- predicate expression
- radical expression
- range expression
- rational expression
- regular expression
- relational expression
- relocatable expression
- rotationally-invariant expression
- scalar expression
- static expression
- symbolic expression
- tree expression
- trigonometric expression
- unique expression
- variable expression
- vector expression -
18 symbol
1) символа) знакб) условный знак; условное обозначение; графическое обозначениев) вчт идентификаторг) образ; отображениед) эмблема2) представлять в символической форме; применять символическую запись; использовать символ(ы); использоваться в качестве символа3) использовать условные знаки или условные обозначения; использоваться в качестве условного знака или условного обозначения•- abstract symbol
- active symbol
- additional symbol
- admissible symbol
- aiming symbol
- algebraic symbol
- alpha symbol
- alphabetic symbol
- alphanumeric symbol
- annotation symbol
- auxiliary symbol
- barred symbol
- basic symbol
- blinking symbol
- Boolean symbol
- built-up symbol
- cell alphabet symbol
- check symbol
- checking symbol
- Christoffel symbol
- command symbol
- composite symbol
- connector symbol
- control symbol
- decision symbol
- definable symbol
- delta symbol
- delta Kronecker symbol
- derivative symbol
- digital symbol
- diode symbols
- dollar sign symbol
- dotted symbol
- euro sign symbol
- external symbol
- flowchart symbol
- flowcharting symbol
- functional symbol
- fundamental symbol
- generalized symbol
- generating symbol
- graphical symbol
- grouping symbol
- Hermann-Mauguin symbols
- illegal symbol
- information symbol
- input/output symbol
- international crystallographic symbols
- Kronecker symbols
- Levi-Civita symbols
- literal symbol
- logic symbol
- match-all symbol
- math symbol
- mathematical symbol
- metalogic symbol
- mnemonic symbol
- nonadmissible symbol
- nonblinking symbol
- nonterminal symbol
- numeric symbol
- odd symbol
- operator symbol
- partial derivative symbol
- phonemic symbol
- phonematic symbol
- predefined process symbol
- predicate symbol
- processing symbol
- proofreader's symbol
- punctuation symbol
- schematic symbol
- Schoenflies symbols
- separation symbol
- shading symbol
- Shubnikov symbols
- special symbol
- standard symbol
- start/stop symbol
- suggestive symbol
- syntactical symbol
- terminal symbol
- terminating symbol
- transistor symbols
- undeclared symbol
- undefined symbol
- underscore symbol
- unit symbol
- variable symbol
- vector symbol
- wildcard symbol
- wire symbol
- δ symbols -
19 complement
1) дополнение || дополнять2) вчт. поразрядное дополнение•- analytical complement
- Boolean complement
- cable complement
- combinatorial complement
- complement of digraph
- complement of event
- complement of graph
- complement of predicate
- connected complement
- countable complement
- diminished complement
- disjunctive complement
- invariant complement
- nine's complement
- noughts complement
- one's complement
- orthogonal complement
- radix complement
- radix-minus-one complement
- relative complement
- set complement
- ten's complement
- topological complement
- true complement
- tube complement
- two's complement
- zero complementThe New English-Russian Dictionary of Radio-electronics > complement
-
20 expression
1) выражение2) представление (напр. в виде символов)3) выразительность звука; экспрессивность исполнения (напр. мелодии)4) вчт. контроллер "выразительность звука", MIDI-контроллер №11•- algebraic expression
- ambiguous expression
- analytical expression
- approximate expression
- arithmetic expression
- asymptotic expression
- atomic expression
- Boolean expression
- bracketed expression
- canonical expression
- conditional expression
- constant expression
- convergent expression
- defining expression
- designational expression
- deterministic expression
- divergent expression
- emitted expression
- exact expression
- explicit expression
- exponential expression
- formal expression
- functional expression
- fuzzy expression
- graphic expression
- implicit expression
- integer expression
- integral expression
- invariant expression
- irrational expression
- literal expression
- logical expression
- mathematical expression
- matrix expression
- MIDI expression
- nested expression
- numerical expression
- operator expression
- parenthesized expression
- predicate expression
- radical expression
- range expression
- rational expression
- regular expression
- relational expression
- relocatable expression
- rotationally-invariant expression
- scalar expression
- static expression
- symbolic expression
- tree expression
- trigonometric expression
- unique expression
- variable expression
- vector expressionThe New English-Russian Dictionary of Radio-electronics > expression
- 1
- 2
См. также в других словарях:
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Algebraic logic — In mathematical logic, algebraic logic formalizes logic using the methods of abstract algebra.Logics as models of algebrasAlgebraic logic treats logics as models (interpretations) of certain algebraic structures, specifically as models of bounded … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
History of logic — Philosophy ( … Wikipedia
Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia